Log in

Normal view MARC view ISBD view

Object-Z Specification Language

By: Smith, Graeme.

Material type: materialTypeLabel

materialTypeLabel

BookSeries: Adances in formal methods.Publisher: Boston: Kluwer Academic Publishers, 2000Description: xiii, 146 p.; ill.: 24 cm.ISBN: 0792386841.Subject(s): Object-oriented programming (Computer science) | Z (Computer program language) | Syntactic Constructs | Language Definition | Concurrent Systems | Concrete Syntax | Object-ZDDC classification: 005.117

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Call number	Status	Date due	Barcode
Books		005.117 SMI (Browse shelf)	Available		017321

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha